How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored

Source URL: www.hboehm.info

• Computing
• Software engineering
• Software
• Compiler construction
• Concurrency
• Programming language implementation
• Parallel computing
• Memory model
• Volatile
• Java memory model
• OpenMP
• Optimizing compiler

arXiv:1411.4555v2 [cs.CV] 20 AprShow and Tell: A Neural Image Caption Generator Oriol Vinyals Google

Source URL: arxiv.org

• Artificial neural networks
• Machine learning
• Applied mathematics
• Computational neuroscience
• Artificial intelligence
• Computational linguistics
• Machine translation
• Deep learning
• Recurrent neural network
• Long short-term memory
• Speech recognition
• Language model

The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

Source URL: www.sigplan.org

• Computer memory
• Parallel computing
• Concurrent computing
• Compiler construction
• Programming language design
• Linearizability
• Memory model
• C++
• Thread
• Abstraction
• Concurrency
• Memory barrier

In memory of Thea St.Omer May 12, 1973 — April 3, 2015 Filmmaker, writer, artist, shopkeeper, teacher. A model of kindness, empathy and creativity.

Source URL: www.posterproject.org

FAU Undergraduate Research Grant Proposal Undergraduate Research Grant Proposal A. Project Description Objective of research: The objective of this study is to determine if hippocampal dopamine D1 recepto

Source URL: www.fau.edu

• Brain
• Cerebrum
• Neuroscience
• Memory
• Neuroanatomy
• Spatial memory
• Hippocampus
• Recognition memory
• Between-systems memory interference model

An Axiomatic Memory Model for POWER Multiprocessors Sela Mador-Haim1 Luc Maranget2 Susmit Sarkar3 Kayvan Memarian3 Jade Alglave4 Scott Owens3 Rajeev Alur1 Milo M.K. Martin1 Peter Sewell3 Derek Williams5 1

Source URL: www0.cs.ucl.ac.uk

A statistical analysis of memory CD8 T cell differentiation: An application of a hierarchical state space model to a short time course microarray experiment

Source URL: pages.stat.wisc.edu

Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy () INRIA Paris-Rocquencourt Sandrine Blazy ()

Source URL: www.irisa.fr

Transactional Memory in C++ Hans-J. Boehm Google and ISO C++ Concurrency Study Group chair

Source URL: www.hboehm.info

• Transaction processing
• Concurrency control
• Transactional memory
• Lock
• Linearizability
• Atomicity
• Synchronization
• Parallel computing
• Memory model
• Commitment ordering
• Software transactional memory

Validating XML Documents in the Streaming Model with External Memory ∗ Christian Konrad1 and Fr´ed´eric Magniez2 1 Univ Paris Diderot, Sorbonne Paris-Cit´e, LIAFA, CNRS, 75205 Paris, France,

Source URL: www.christiankonrad.de